#include "testc.h"

void f(int a, double b)
{
    printf("%d %f\n", a, b);
}
